Towards Situation-specific Agent Theories
نویسندگان
چکیده
A general agent theory requires a well-defined domain. We argue that this requirement is not met by most proposed agent theories. The reason is that they are based on assumptions about the internal structure of the agents, often described in terms of human-like “mental states” such as beliefs and intentions. In fact, there are strong indications that the task of developing a general agent theory covering all kinds of agents in any situation is simply too complex. Instead we suggest that agent theories should be based on the observable interaction between agents in particular situations and without reference to the internal structure of the agent.
منابع مشابه
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus
We look at agents reasoning about actions from a firstperson perspective. The agent has a representation of world as situation calculus action theory. It can perform sensing actions to acquire information. The agent acts “online”, i.e., it performs an action only if it is certain that the action can be executed, and collects sensing results from the actual world. When the agent reasons about it...
متن کاملBounded Epistemic Situation Calculus Theories
We define the class of e-bounded theories in the epistemic situation calculus, where the number of fluent atoms that the agent thinks may be true is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We show that for them verification of an expressive class of first-order μ-calculus temporal epistemic properties is decidable. We also show that ...
متن کاملTowards a Framework for Agent-based Product Modelling
This paper presents an approach to product modelling that uses computational agents to represent product data. These agents are situated, i.e. they produce all data representations in response to the specific need in the current situation. We have explored this characteristic in the context of the communication of product data to develop a framework for agent-based product modelling. This frame...
متن کاملTowards a computational model of embodied mathematical language
We outline two theories of mathematical language acquisition and development, and discuss how a computational model of these theories may help to bridge the gap between automated theory formation and situated embodied agents. Finally, we briefly describe a simple theoretical case study of how such a model could work in the arithmetic domain.
متن کاملA Model and Simulation of Emergent Cognition
We introduce an approach to model and simulate the early mechanisms of emergent cognition based on theories of enactive cognition and on constructivist epistemology. The agent has intrinsic motivations implemented as inborn proclivities that drive the agent in a proactive way. Following these drives, the agent autonomously learns regularities afforded by the environment, and hierarchical sequen...
متن کامل